Friendly e-tutor for Natural Deduction
نویسندگان
چکیده
Pandora is a tool to support the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the “e-tutor” and facilities to save, reload and export to LTEX. Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. This paper describes the e-tutor and our experiences of using the tool in teaching.
منابع مشابه
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’’ and facilities to save, reload and export to . Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. Detailed electronic logs of ...
متن کاملA tool to practice formal proofs
This paper presents a Logic Tutor, a tool to support computer science students in their learning of logic, more specifically in their learning of formal proofs. The current tool is equipped with a deduction system for propositional logic. However its modular conception makes it easy to change to another logic. Preliminary evaluation shows that this tool has a high educational value, thanks, amo...
متن کاملDeduction Systems for Multimodal Logics with Operations on Modalities
This article is a brief, user friendly discourse on extensions of multimodal logics with operations on modalities. Such logics are considered from a general point of view with the emphasis on the theory of deduction systems. The rst part of the article concentrates on developing general tools that lead to partial completeness results for logics where the algebra of modalities is e ectively axio...
متن کاملThe AProS Project: Strategic Thinking & Computational Logic
The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...
متن کاملThe AProS Project: Strategic Thinking & Computational Logic
The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...
متن کامل